Cayenne--a Language With Dependent Types